A Safe Change Oriented Process for Safety Critical Systems
نویسندگان
چکیده
The development of aviation engine control soft ware is a prime example of a process in which the overriding concern is safety In building such a com plex system change is inevitable This paper discusses the aims of CONVERSE an EPSRC funded project to investigate change management in safety critical soft ware development The aim is to reduce the costs which occur due to change while allowing rapid re collection of the safety evidence required for such sys
منابع مشابه
Using safety contracts in the development of safety critical object-oriented systems
Developers of safety critical software are becoming increasingly interested in using the objectoriented paradigm. If a developer is to use an object-oriented approach successfully in safety critical applications they must be able to demonstrate that the resulting software system is sufficiently safe to operate. There are a number of existing approaches to developing safe software however these ...
متن کاملDeveloping Successful Modular Arguments for Object Oriented Systems
In previous work, we have independently reasoned about developing “safe” object-oriented (OO) systems, and constructing modular safety arguments. One of the challenges currently under consideration is how to successfully certify safety-critical OO systems developed using this approach. It was concluded that in order to maintain the desirable properties of OO systems such as re-use and inheritan...
متن کاملVoting Algorithm Based on Adaptive Neuro Fuzzy Inference System for Fault Tolerant Systems
some applications are critical and must designed Fault Tolerant System. Usually Voting Algorithm is one of the principle elements of a Fault Tolerant System. Two kinds of voting algorithm are used in most applications, they are majority voting algorithm and weighted average algorithm these algorithms have some problems. Majority confronts with the problem of threshold limits and voter of weight...
متن کاملVoting Algorithm Based on Adaptive Neuro Fuzzy Inference System for Fault Tolerant Systems
some applications are critical and must designed Fault Tolerant System. Usually Voting Algorithm is one of the principle elements of a Fault Tolerant System. Two kinds of voting algorithm are used in most applications, they are majority voting algorithm and weighted average algorithm these algorithms have some problems. Majority confronts with the problem of threshold limits and voter of weight...
متن کاملThe Challenges of Software Certification
The safety critical community – those involved in developing and verifying safety critical systems – is very conservative and adverse to change. Meanwhile, technology is changing rapidly, and there is pressure to adapt systems to improve their efficiency and safety. This presents a number of challenges. The community has already addressed some; others are in process. While the guidance on airbo...
متن کامل